cmconfig{-}list($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$case $x$ of config(${\it list}$) =$>$ ${\it list}$ seq(${\it from}$,${\it to}$,${\it num}$) =$>$ $\cdot$